$\forall$$w$:World. FairFifo $\Rightarrow$ ($\forall$$e$:E. ($\neg$($\uparrow$first($e$))) $\Rightarrow$ (loc(pred($e$)) = loc($e$) $\in$ Id))